Nuprl Definition : tlambda
12,41
postcript
pdf
(
x
:
T
.
b
(
x
))(
x
) ==
b
(
x
)
latex
Definitions
x
.
A
(
x
)
FDL editor aliases
tlam
origin
x:T. b(x))(x) == b(x) x:T. b(x))(x) == b(x) x.A(x)